Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem
نویسنده
چکیده
The use of Frege-Russell style definite descriptions for giving meaning to functions has been long established and we investigate their use in the development of Functional Programs and from these to the development of correct imperative programs. In particular, we investigate the development of a functional program for a problem, "Odd powers of odd integers", discussed by Dijsktra. If the correctness of termination is not a concern then it is straightforward to develop a partially correct program. Further properties of the specification are needed to develop a totally correct program.
منابع مشابه
Quadratic Forms Representing All Odd Positive Integers
We consider the problem of classifying all positive-definite integer-valued quadratic forms that represent all positive odd integers. Kaplansky considered this problem for ternary forms, giving a list of 23 candidates, and proving that 19 of those represent all positive odds. (Jagy later dealt with a 20th candidate.) Assuming that the remaining three forms represent all positive odds, we prove ...
متن کاملExplicit Polynomial for Sums of Powers of Odd Integers
In this note we derive the explicit, non-recursive form of the coefficients of the polynomial associated with the sums of powers of the first n odd integers. As a by-product, we deduce a couple of new identities involving the Bernoulli numbers. Mathematics Subject Classification: 11B57, 11C08, 11B68
متن کاملEven Powers of Divisors and Elliptic Zeta Values
We introduce and study elliptic zeta values, a two-parameter deformation of the values of Riemann’s zeta function at positive integers. They are essentially Taylor coefficients of the logarithm of the elliptic gamma function, and share the SL(3,Z) modular properties of this function. Elliptic zeta values at even integers are related to Eisenstein series and thus to sums of odd powers of divisor...
متن کاملA NOTE ON THE SUMS OF POWERS OF CONSECUTIVE q-INTEGERS
In this paper we construct the q-analogue of Barnes's Bernoulli numbers and polynomials of degree 2, for positive even integers, which is an answer to a part of Schlosser's question. For positive odd integers, Schlosser's question is still open. Finally, we will treat the q-analogue of the sums of powers of consecutive integers.
متن کاملFive consecutive positive odd numbers, none of which can be expressed as a sum of two prime powers
In this paper, we prove that there is an arithmetic progression of positive odd numbers for each term M of which none of five consecutive odd numbers M,M − 2,M − 4,M − 6 and M − 8 can be expressed in the form 2n ± pα, where p is a prime and n, α are nonnegative integers.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 225 شماره
صفحات -
تاریخ انتشار 2009